# typed: true

case foo; in A() then true; end
